801. The unknowable
پدیدآورنده : / by Gregory J. Chaitin
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Machine theory,Computational complexity,Stochastic processes
رده :
E-BOOK
802. Theoretical computer science
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Combinatorial analysis- Data processing,، Computational complexity,، Machine theory,، Parallel processing )Electronic computers(
رده :
QA
164
.
T45
803. Theoretical computer science
پدیدآورنده : 3rd GI conference, Darmstadt, March 82-03, 7791 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
267
.
G18
1977
804. Theoretical computer science
پدیدآورنده : 3rd GI conference, Darmstadt, March 82-03, 7791 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
48
805. Theoretical computer science : 3rd GI Conference, Darmstadt, March 28-30, 1977
پدیدآورنده : edited by H. Tzchach, H. Waldschmidt and K.-G. Walter on behalf of the GI
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
48
806. Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979
پدیدآورنده : edited by K. Weihrauch
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
67
807. Theoretical computer science : 6th GI-Conference, Dortmund, January 5-7, 1983
پدیدآورنده : edited by A.B. Cremers and H.P. Kriegel
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
145
808. Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981
پدیدآورنده : edited by Peter Deussen
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
104
809. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
پدیدآورنده : GI-Fachtagung Theoretische Informatik, 4th, 9791, Aachen
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1979
810. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
پدیدآورنده : edited by K. Weihrauch
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
67
811. Theoretical computer science : 6th GI conference, Dortmund, January 5-7, 1983
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1983
812. Theoretical computer science : 5th GI conference, karlsruhe, March 23-25, 1981
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1981
813. Theoretische Informatik :
پدیدآورنده : von Ingo Wegener.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages.,Machine theory.,Theory of computer science.
814. Theoretische Informatik kurz gefasst [kurzgefasst]
پدیدآورنده : von Uwe Schöning
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions.,Machine theory.,Theory of computer science.,Computable functions.,Informatik.,Machine theory.,Theoretische Informatik,Theoretische Informatik.,Theorie.
815. Theories of abstract automata
پدیدآورنده : Arbib, Michael A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Machine theory
رده :
QA
267
.
A72
816. Theories of abstract automata
پدیدآورنده : Arbib, Michael A.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory
رده :
QA
267
.
A72
817. Theories of abstract automata
پدیدآورنده : ARBIB,MICHAEL A
کتابخانه: (طهران)
موضوع : MACHINE THEORY
رده :
QA
267
.
A72
818. Theory of Finite Automata
پدیدآورنده : \ John Carroll, Darrell Long.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal languages,زبانهای صوری,a04,a04,Sequential machine theory.,ماشین حالت‌های متناهی
رده :
E-Book
,
819. Theory of Machines
پدیدآورنده : Malhotra, D. R.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory
رده :
QA
267
.
M3
820. Theory of automata /
پدیدآورنده : Arto Salomaa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages.,Power series.,Sequential machine theory.
رده :
QA267
.
5
.
S4
S3
1969
